Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
651	ASSESSMENT REPORT 10‐01 FEDERAL DIGITAL SYSTEM (FDSYS) INDEPENDENT VERIFICATION AND VALIDATION – NINTH Add to Reading List Source URL: gpo.gov Language: English - Date: 2009-12-03 10:42:21 Business Formal methods Science Risk management Risk Federal Digital System Software development process Configuration management Project management office Management Project management Actuarial science
652	Verification Round[removed]Context Questions were raised in July 2012 about the conformance of some particular EPEAT registered products. A series of investigations have been undertaken to address these questions, includ Add to Reading List Source URL: www.epeat.net Language: English - Date: 2013-10-25 11:29:45 Electronics Mathematics Environmental design Electronic Product Environmental Assessment Tool Formal verification
653	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
654	Practical Application of Formal Methods in Modeling and Simulation D. Richard Kuhn Dan Craigen, Mark Saaltink Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Network architecture Internet protocols Internet standards Remote administration software Software testing Telnet Transmission Control Protocol Formal verification Communications protocol Computing Formal methods Internet
655	Microsoft PowerPoint - Data_Object_Model_Saito Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:31 Software quality Formal methods Evaluation Science Verification and validation Software engineering Validation Independent Verification and Validation Facility Department of Defense Architecture Framework Pharmaceutical industry Validity Software testing
656	© Cukic[removed]Combining Performance Modeling and Risk Analysis: A Homeland Security Case Study Bojan Cukic, Jesse Mussgrove Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:18 Biometrics Identification Surveillance Software development process Verification and validation Security Science Systems engineering Formal methods
657	Datasheet Certitude Functional Qualification System Overview Add to Reading List Source URL: www.synopsys.com Language: English Electronic design automation Systems engineering Logic in computer science Hardware verification languages Verification Functional verification Formal verification E Logic simulation Electronic engineering Digital electronics Formal methods
658	Datasheet Formality and Formality Ultra Equivalence Checking for DC Ultra and Design Compiler Graphical Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-18 15:15:30 Formal methods Physical design SystemVerilog Synopsys Formal verification Verilog Formal equivalence checking Signoff Electronic engineering Electronic design automation Hardware description languages
659	Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Theoretical computer science Logic in computer science Model checking Formal verification Symbolic execution First-order logic Validation Static single assignment form Model theory Logic Formal methods Mathematical logic
660	Microsoft PowerPoint - 2-ASME-Guide Popelar.pptx Add to Reading List Source URL: www.fda.gov Language: English Science Ethology Formal methods Scientific modeling Computational science Validation Verification and validation Computer simulation Economic model Statistics Pharmaceutical industry Validity

UPDATE